Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
نویسنده
چکیده
Bishop’s informal set theory is briefly discussed and compared to Lawvere’s Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive type theory of Martin-Löf. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop. Mathematics Subject Classification (2000): 03B15, 03G30, 18B05, 18B25.
منابع مشابه
POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملUnivalent foundations as structuralist foundations
The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception of the basic objects of mathematics (“homotopy types” instead of “sets”) but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a prag...
متن کاملکاربرد دو نظریه آموزشی در کلاس درس: نظریه ساخت گرا، نظریه یادگیری اجتماعی
Teaching is a complex phenomenon and needs a specific framework. Subjective ideas would dominate in the absence of a predetermined framework. Teaching and learning theories provide a systematic framework for instruction. This article describes "Constructivist and Social Learning Theories" and explains their applications in practice. The constructivist school views knowledge as a constructed ...
متن کاملA logical Reconstruction of Leonard Bloomfield’s Linguistic Theory
In this work we present a logical reconstruction of Leonard Bloomfield’s theory of structural linguistics. First, the central notions of this theory are analyzed and discussed. In the following section, a reconstruction with the so-called structuralist approach in the philosophy of science is presented. After defining the general framework of Bloomfield’s theory, questions of lawlikeness and th...
متن کاملScientific Theories and the Computational Theory of Perceptions - A Structuralist View Including Fuzzy Sets
Fuzzy Logic, Computing with words, and the Computational Theory of Preceptions build a stack of methodologies to help bridge the gap between systems and phenomena in reality and scientific theories. Bridging this gap has been a problem in all philosophical approaches, and the so-called structuralist view of theories in one that was established in the 20 century. In this paper we present a “fuzz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 163 شماره
صفحات -
تاریخ انتشار 2012